Buy Used and New Dejan Nickovic Books

Contracts for System Design (Foundations and Trends in Electronic Design Automation): 38

by Albert Benveniste, Benoît Caillaud, Dejan Nickovic

ISBN 13: 9781680834024

Format: Paperback (298 pages)
Publisher: Now Publishers Inc
Published: 28 Mar 2018

Save for later

Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings: 7595 (Lecture Notes in Computer Science)

by Marcin Jurdzinski, Dejan Nickovic

ISBN 13: 9783642333644

Format: Paperback (280 pages)
Publisher: Springer
Published: 17 Aug 2012

Save for later

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings: 12327 (Lecture Notes in Computer Science, 12327)

by Maurice H. ter Beek, Dejan Nickovic

ISBN 13: 9783030582975

Format: Paperback (311 pages)
Publisher: Springer
Published: 29 Aug 2020

Save for later